Dict(
	[12, 4, 7, 13, 16, 1, 1, 11, 1, 1] => QQFieldElem[16//3, 0, 0, 0])